منابع مشابه
Priority and Abstraction in Process Algebra
More than 15 years ago, Cleaveland and Hennessy proposed an extension of theprocess algebra CCS in which some actions may take priority over others. Thetheory was equipped with a behavioral congruence based on strong bisimulation.This article gives a full account of the challenges in, and the solutions employedfor, defining a semantic theory of observation congruence for this pr...
متن کاملDiscrete Time Process Algebra with Abstraction
ion in absolute timing. where all timing refers to an absolute clock. Here again. we only consider the two-phase version. In section 4. we have discrete time process algebra with parametric timing. where absolute and relative timing are integrated. For parametric timing. we introduce a model based on time spectrum sequences. An underlying viewpoint of the present paper is that for a given time ...
متن کاملDelayed choice for process algebra with abstraction
The delayed choice is an operator which serves to combine linear time and branching time within one process algebra. We study this operator in a theory with abstraction, more precisely, in a setting considering branching bisimulation. We show its use in scenario specii-cations and in veriication to reduce irrelevant branching structure of a process.
متن کاملProcess Algebra with Timed-Priority Executing Policy
Equipped with powerful machines and complex softwares, web servers providing services are widely used all over the Internet. But, how to specify their behaviors are interesting and meaningful. However, process algebras nowadays cannot specify the behaviors of web servers with time limitations and different groups of clients who are belong to different groups/priorities. The behaviors of web ser...
متن کاملSlow Abstraction via Priority
CSP treats internal τ actions as urgent, so that an infinite sequence of them is the misbehaviour known as divergence, and states with them available make no offer that we can rely on. While it has been possible to formulate a number of forms of abstraction in these models where the abstracted actions become τs, it has sometimes been necessary to be careful about the interpretation of τs and di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2007
ISSN: 0890-5401
DOI: 10.1016/j.ic.2007.05.001